Hardware verification languages

Results: 197



#Item
191Hardware verification languages / Analog verification / Electronic design / Integrated circuits / Verilog-AMS / Ken Kundert / E / Functional verification / Verilog / Electronic engineering / Electronic design automation / Hardware description languages

PDF Document

Add to Reading List

Source URL: www.designers-guide.com

Language: English - Date: 2012-01-12 17:24:05
192SystemC / Transaction-level modeling / Electronic design / Electronic system-level design and verification / High-level synthesis / Field-programmable gate array / System on a chip / Modeling language / Verilog / Electronic engineering / Electronic design automation / Hardware description languages

PDF Document

Add to Reading List

Source URL: www.cs.teiher.gr

Language: English - Date: 2012-08-16 13:49:13
193IP-XACT / Electronic design automation / Hardware verification languages / Standards organizations / Universal Verification Methodology / Accellera / E / Hardware register / Electronic engineering / Electromagnetism / Electrical engineering

PDF Document

Add to Reading List

Source URL: www.duolog.com

Language: English - Date: 2012-02-28 09:15:56
194Integrated circuits / Software testing / Hardware verification languages / Acronyms / SIMD / Genetic algorithm / Random test generator / Fault coverage / Test / Electronic engineering / Electronics / Digital signal processing

PDF Document

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2010-11-03 06:14:49
195Hardware description languages / Vectors / Digital electronics / VHDL / Flip-flop / Vector space / Pulse-width modulation / Functional verification / Vector / Algebra / Electronic engineering / Mathematics

PDF Document

Add to Reading List

Source URL: www.actel.com

Language: English - Date: 2008-05-21 16:15:00
196Device drivers / Device driver / SystemVerilog / E / Google Chrome OS / Universal Serial Bus / Kernel / Operating system / Device driver synthesis and verification / Electronic engineering / Hardware verification languages / Computer hardware

PDF Document

Add to Reading List

Source URL: ertos.nicta.com.au

Language: English
197Programming language implementation / Computer programming / Constraint programming / Hardware verification languages / Model-based testing / Concolic testing / Test Data Generation / Compiler optimization / Algorithm / Computing / Software engineering / Software testing

PDF Document

Add to Reading List

Source URL: sebastien.bardin.free.fr

Language: English - Date: 2008-01-04 09:06:40
UPDATE